Browsing by Subject "Argumentation frameworks"

Now showing items 1-10 of 10

    • Conference Object  

      Argumentation and temporal persistence 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2011)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
    • Article  

      Argumentation and the event calculus 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2012)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language for ε Reasoning about Actions and Change into a Logic Programming ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Conference Object  

      Argumentative alternating offers 

      Hadidi, N.; Dimopoulos, Yannis; Moraïtis, Pavlos (International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2010)
      This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotiation mechanism is based on an abstract preference based argumentation framework where both epistcmic and ...
    • Article  

      Argumentative alternating offers 

      Hadidi, N.; Dimopoulos, Yannis; Moraïtis, Pavlos (2011)
      This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotiation mechanism is based on an abstract preference based argumentation framework where both epistemic and ...
    • Article  

      Computing the acceptability semantics 

      Toni, F.; Kakas, Antonis C. (1995)
      We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
    • Article  

      Extending argumentation to make good decisions 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Amgoud, L. (2009)
      Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating preference information in argumentation. The majority ...
    • Article  

      Some theoretical results on the relationship between argumentation and coherence theory 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Sierra, C. (2017)
      This work provides initial results on the relationship between argumentation and Paul Thagard’s coherence theory. We study the relationship, via appropriate transformations, between different types of coherent graphs ...
    • Conference Object  

      A unified argumentation-based framework for knowledge qualification 

      Michael, Loizos; Kakas, Antonis C. (2011)
      Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge - be those given, learned, or sensed - at its disposal. This problem, known as knowledge ...
    • Article  

      ε-RES: Reasoning about actions, events and observations 

      Kakas, Antonis C.; Miller, R.; Toni, F. (2001)
      The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, ...